Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
131	Improved Parallel Integer Sorting without Concurrent Writing Susanne Albersyz Torben Hagerupy Add to Reading List Source URL: www14.in.tum.de Language: English - Date: 2013-11-25 11:07:42 Sorting algorithms Mathematics Order theory Theory of computation Radix sort Bitonic sorter Time complexity Merge sort Integer sorting Computational complexity theory Algorithm Big O notation
132	Approximating the least hypervolume contributor: NP-hard in general, but fast in practice Karl Bringmann1 and Tobias Friedrich2 1 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-01-03 06:44:56 Computational complexity theory Theory of computation Complexity classes Approximation algorithms Computational hardness assumptions Polynomial-time approximation scheme Time complexity NC Reduction Exponential time hypothesis NP-hardness NP
133	The Complexity of Computing the Solution Obtained by a Specific Algorithm Paul W. Goldberg Department of Computer Science University of Oxford, U. K. Add to Reading List Source URL: www.maths.lse.ac.uk Language: English - Date: 2013-10-30 13:41:09 Computational complexity theory Complexity classes Theory of computation PPAD Reduction LemkeHowson algorithm Algorithm NP PSPACE-complete P True quantified Boolean formula
134	Approximating the volume of unions and intersections of high-dimensional geometric objects Karl Bringmann1 and Tobias Friedrich2,3 1 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-01-03 06:44:42 Computational complexity theory Theory of computation Complexity classes Polynomial-time approximation scheme BPP Time complexity NP NC
135	Economics and Computation ECONand CPSCProfessor Dirk Bergemann and Professor Joan Feigenbaum Lecture II Add to Reading List Source URL: zoo.cs.yale.edu Language: English - Date: 2008-09-13 22:10:44 Game theory Bayesian game Strategic dominance Best response Strategy Rationalizability Nash equilibrium Battle of the sexes
136	Simulation of Two-Way Pushdown Automata Revisited Robert Gl¨uck DIKU, Dept. of Computer Science, University of Copenhagen Dedicated to David A. Schmidt on the Occasion of his 60th Birthday Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-09-22 20:46:25 Models of computation Formal languages Theoretical computer science Pushdown automaton Automata theory Deterministic pushdown automaton Computability Language Deterministic context-free language Deterministic automaton Culture NPDA
137	Span-Program-Based Quantum Algorithm for Evaluating Formulas Add to Reading List Source URL: theoryofcomputing.org Language: English - Date: 2014-11-14 13:01:33 Theoretical computer science Quantum computing Theory of computation Mathematics Computational complexity theory Quantum algorithm Quantum information science Algorithm FO
138	CS711008Z Algorithm Design and Analysis Lecture 2. Analysis techniques 1 Dongbo Bu Add to Reading List Source URL: bioinfo.ict.ac.cn Language: English - Date: 2014-11-28 11:05:21 Analysis of algorithms Theory of computation Computational complexity theory Computer science Theoretical computer science Quicksort Average-case complexity Best worst and average case Algorithm Sorting algorithm Time complexity Worst-case complexity
139	INVERSE INEQUALITY ESTIMATES WITH SYMBOLIC COMPUTATION ¨ CHRISTOPH KOUTSCHAN, MARTIN NEUMULLER, AND CRISTIAN-SILVIU RADU Add to Reading List Source URL: www.koutschan.de Language: English - Date: 2016-04-29 08:40:41 Algebra Mathematics Matrix theory Linear algebra Determinant Eigenvalues and eigenvectors Symbol Square matrix Matrix Spectral theory of ordinary differential equations
140	A Formal Model and Composition Language for Context-Aware Service Protocols A Formal Model and Composition Language for Context-Aware Service Protocols Javier Cubo, Carlos Canal, Ernesto Pimentel, Gwen Sala¨ un Add to Reading List Source URL: casta.unibe.ch Language: English - Date: 2012-07-02 10:13:08 Theoretical computer science Logic in computer science Programming language semantics Communications protocol Data transmission Model theory Operational semantics Models of computation